theorem prover中文是什么意思
发音:
用"theorem prover"造句"theorem prover"怎么读"theorem prover" in a sentence
中文翻译
手机版
- 定理证明程序
- "theorem"中文翻译 n. 1.(能证明的)一般原理，公理，定律，法则。 2. ...
- "prover"中文翻译 n. 1.试验装置。 2.【印刷】打校样的工人。 3.〔 ...
- "boyermoore theorem prover" 中文翻译 : 博耶穆尔定理证明程序
- "first-order theorem prover" 中文翻译 : 一阶定理证明器
- "prover" 中文翻译 : n. 1.试验装置。 2.【印刷】打校样的工人。 3.〔古语〕证明者。
- "ball prover" 中文翻译 : 球型校验器
- "ballistic prover" 中文翻译 : 冲击式流量校验器
- "bell prover" 中文翻译 : 钟形流量校准器; 钟罩校准器; 钟罩压力计
- "belt prover" 中文翻译 : 带运机
- "bucket prover" 中文翻译 : 间格斗式运输器
- "gravimetric prover" 中文翻译 : 称重式标准罐
- "heat prover" 中文翻译 : 废气和排出气体的分析器; 废气和排出气体的分析仪
- "in-line prover" 中文翻译 : 在线校正仪表
- "linen prover" 中文翻译 : 织物分析镜
- "meter prover" 中文翻译 : 仪表校准仪
- "pipe prover" 中文翻译 : 标准体积管；管式校准器; 管道检验仪; 管子检验器；管式流量标定装置; 管子液压试验器
- "piston prover" 中文翻译 : 反压活塞式压力计; 活塞校准器
- "portable prover" 中文翻译 : 移动式检定装置
- "prover calibration" 中文翻译 : 栓定装置的标定
- "prover loop" 中文翻译 : 标准体积管的环管
- "prover pipe" 中文翻译 : 基准管
- "prover section" 中文翻译 : 标准管段
- "prover tank" 中文翻译 : 检验罐
- "tank prover" 中文翻译 : 标定罐
- "unidirectional prover" 中文翻译 : 单向标准体积管
相关词汇
sonic nozzle flow prover 中文, theorems 中文, modularity theorem 中文, isomorphism theorem 中文, wieners theorem 中文, uniqueness theorem 中文, bound theorem 中文, cauchy theorem 中文, bayess theorem 中文, theorem of virtual displacement 中文, theorem of virtual work 中文, theorem on addition of probabilities 中文, theorem on embedding 中文, theorem on friends and strangers 中文, theorem proving 中文, theorem proving machine 中文, theorem proving representation 中文, theorem proving technique 中文,
相邻词汇
theorem prover的中文翻译，theorem prover是什么意思，怎么用汉语翻译theorem prover，theorem prover的中文意思，theorem prover的中文，theorem prover in Chinese，theorem prover的中文，theorem prover怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。